🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·13h
🧮Kolmogorov Complexity
Training a Chunker with Burn
elijahpotter.dev·20h·
Discuss: Hacker News
📝Concrete Syntax
Issue 481
haskellweekly.news·5h
🔗Functional Compilers
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·17h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·6h·
Discuss: Hacker News
✨Effect Handlers
Python Fundamentals: case
dev.to·5h·
Discuss: DEV
✅Format Verification
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
ChatGPT is not AI
newsletter.techworld-with-milan.com·2h
🎙️Whisper
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·6h
🦀Rust Macros
How to actually use Model Context Protocol
seangoedecke.com·17h
⚡Proof Automation
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·13h
💻Programming languages
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·1d
💻Local LLMs
How I Got 100/100 From GPT-4, Gemini, Grok, and More—Using Just a .txt File
dev.to·16h·
Discuss: DEV
⚔️Lean Tactics
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·15h·
Discuss: Hacker News
🔗Concatenative Programming
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·4h·
Discuss: Hacker News
🤝Distributed Consensus
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·10h
🔍RegEx Engines
Honest Abe: Anti-BS Epistemology
austinross.xyz·1h·
Discuss: Hacker News
🔲Proof Irrelevance